class ElaborationError(Exception):
    pass
